Metamorphoses of logos: from non-predicative to predicative
نویسندگان
چکیده
منابع مشابه
The Role and Meaning of Predicative and Non-Predicative Definitions in the Search for Information
Borrowings and Adaptations. First of all, the author would like to clarify the meanings of the terms "predicative" and "nonpredicative". As is well known, praedicatum in Late Latin means "what has been said (previously)". In Aristotelian and subsequent forms of traditional logic [8,9,11,12,13,14,15,16] a predicate was understood to be one (the one in which something is said about the subject of...
متن کاملPredicative semantics of loops
A predicative semantics is a mapping of programs to predicates These pred icates characterize sets of acceptable observations The presence of time in the observations makes the obvious weakest xed point semantics of itera tive constructs unacceptable This paper proposes an alternative We will see that this alternative semantics is monotone and implementable feasible Fi nally a programming theor...
متن کاملPredicative fragments of Frege Arithmetic
Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity in...
متن کاملComments on Predicative Logic
The syntax of intuitionistic propositional second-order logic PSOLi consists of a set of propositional constants P , Q, R, etc, a denumerable set of propositional variables F , G, H, etc, together with the primitive logical signs of the conditional and the universal propositional quantifier, and ponctuation signs (parenthesis). The formulas of PSOLi are the smallest class of expressions of the ...
متن کاملPredicative foundations of arithmetic
Predicative mathematics in the sense originating with Poincaré and Weyl begins by taking the natural number system for granted, proceeding immediately to real analysis and related fields. On the other hand, from a logicist or set-theoretic standpoint, this appears problematic, for, as the story is usually told, impredicative principles seem to play an essential role in the foundations of arithm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Archai
سال: 2018
ISSN: 1984-249X,2179-4960
DOI: 10.14195/1984-249x_24_6